непротиворечивая система

См. также в других словарях:

• ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная …   Математическая энциклопедия

• НЕЗАВИСИМОСТЬ —         в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… …   Философская энциклопедия

• управление аварийными сигналами — [Интент] Переход от аналоговых систем к цифровым привел к широкому, иногда бесконтрольному использованию аварийных сигналов. Текущая программа снижения количества нежелательных аварийных сигналов, контроля, определения приоритетности и… …   Справочник технического переводчика

• управление аварийными сигналами — [Интент] Переход от аналоговых систем к цифровым привел к широкому, иногда бесконтрольному использованию аварийных сигналов. Текущая программа снижения количества нежелательных аварийных сигналов, контроля, определения приоритетности и… …   Справочник технического переводчика

• НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз …   Математическая энциклопедия

• Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость  свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… …   Википедия

• Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… …   Большая советская энциклопедия

• Независимость — I Независимость         в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы …   Большая советская энциклопедия

• Мировоззрение — форма самосознания, существующая как непротиворечивая система взглядов человека или общества в целом на мир во всех его проявлениях, на сущность и место человека в нем (в миру), и определяющая понимание, восприятие и преобразование… …   Основы духовной культуры (энциклопедический словарь педагога)

• ПРАВОСОЗНАНИЕ — совокупность взглядов на действующее право, на существующие правовые нормы. Правосознание граждан, их отношение к закону (понимание необходимости его неукоснительного исполнения либо полное пренебрежение) определяет правовая культура, отражающая… …   Большая актуальная политическая энциклопедия

• АЛЕКСАНДРИЙСКАЯ ПРАВОСЛАВНАЯ ЦЕРКОВЬ (АЛЕКСАНДРИЙСКИЙ ПАТРИАРХАТ) — От основания до сер. VII в. Александрия Судьбы Александрийского Патриархата, особенно на раннем этапе его становления, в значительной степени определялись спецификой исторического развития столицы эллинистического и рим. Египта Александрии. Этот… …   Православная энциклопедия